kepler conjecture nghĩa là gì

• giả thuyết kepler

• conjecture     [kən'dʤektʃə] danh từ sự phỏng đoán, sự ước đoán to be right in a...

• After Gauss, no further progress was made towards proving the Kepler conjecture in the nineteenth century.
  Sau Gauss, không có những đi xa hơn để chứng minh giả thiết Kepler trong thế kỷ 19.
• This meant that any packing arrangement that disproved the Kepler conjecture would have to be an irregular one.
  Điều đó có nghĩa là bất kỳ sự sắp xếp nào chứng minh giả thiết Kepler là sai là một sự sắp xếp không bình thường.
• Gauss proved that the Kepler conjecture is true if the spheres have to be arranged in a regular lattice.
  Gauss đã chứng minh giả thuyết của Kepler là đúng nếu như các quả cầu được sắp xếp trong một mạng lưới thông thường.
• In January 2003 Hales announced the start of a collaborative project to produce a complete formal proof of the Kepler conjecture.
  Vào tháng 1 năm 2003, Hales đã tuyên bố một dự án hợp tác để cho ra đời phương pháp chứng minh hoàn thiện cho giả thuyết Kepler.
• But eliminating all possible irregular arrangements is very difficult, and this is what made the Kepler conjecture so hard to prove.
  Nhưng loại bỏ tất cả những trường hợp không bình thường đó là rất khó, đó là lý do vì sao giả thiết Kepler rất khó để chứng minh.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• In 1998, Thomas Hales astounded the world when he used a computer to solve a 400-year-old problem called the Kepler conjecture.
  Năm 1998, Thomas Hales khiến cả thế giới kinh ngạc khi sử dụng máy tính để giải quyết vấn đề 400 năm tuổi được gọi là phỏng đoán Kepler.